Eléments de l'association
|  |
List of bibliographic references
Number of relevant bibliographic references: 7.| Ident. | Authors (with country if any) | Title |
|---|---|---|
| 00B394 | Nachum Dershowitz [États-Unis] ; Ralf Treinen [France] | An on-line problem database |
| 00C721 | Nachum Dershowitz [États-Unis] ; Jean-Pierre Jouannaud [France] ; Jan Willem Klop [Pays-Bas] | Problems in rewriting III |
| 00D227 | Nachum Dershowitz [États-Unis] | A taste of rewrite systems |
| 00E334 | Nachum Dershowitz [États-Unis] ; G. Sivakumar [États-Unis] | Solving goals in equational languages |
| 00E369 | Nachum Dershowitz [États-Unis] ; Mitsuhiro Okada [Canada] ; G. Sivakumar [États-Unis] | Canonical conditional rewrite systems |
| 00E848 | Leo Bachmair [États-Unis] ; Nachum Dershowitz [États-Unis] | Commutation, transformation, and termination |
| 00EA32 | Nachum Dershowitz [États-Unis] | Termination |
| This area was generated with Dilib version V0.6.33. |  |